1
Program Development by Refinement: Case Studies Using the B Method

Program Development by Refinement: Case Studies Using the B Method

Ken A. Robinson (auth.), Emil Sekerinski, Kaisa Sere (eds.)
సంవత్సరం:
1999
భాష:
english
ఫైల్:
PDF, 29.09 MB
0 / 0
english, 1999
2
From action systems to distributed systems: the refinement approach

From action systems to distributed systems: the refinement approach

Petre, Luigia, Sekerinski, Emil
సంవత్సరం:
2016
భాష:
english
ఫైల్:
PDF, 20.91 MB
0 / 0
english, 2016
3
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Emil Sekerinski, Nelma Moreira, José N. Oliveira, et al.
సంవత్సరం:
2020
భాష:
english
ఫైల్:
PDF, 24.87 MB
0 / 5.0
english, 2020
5
From action systems to distributed systems: the refinement approach

From action systems to distributed systems: the refinement approach

Petre, Luigia, Sekerinski, Emil
సంవత్సరం:
2016
భాష:
english
ఫైల్:
PDF, 20.94 MB
0 / 0
english, 2016
7
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Elvira Albert, Emil Sekerinski (eds.)
సంవత్సరం:
2014
భాష:
english
ఫైల్:
PDF, 8.66 MB
0 / 0
english, 2014